[next] [prev] [prev-tail] [tail] [up]

Integrals 401 to 500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 87 212 87 328 0 86 0

N.S.

1 1.00 1.12 2.72 1.12 4.21 0.00 1.10 0.00

time (sec)

N/A 0.036 0.263 1.555 0.282 0.325 0.000 0.294 0.000

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 109 502 123 448 0 121 0

N.S.

1 1.00 0.96 4.44 1.09 3.96 0.00 1.07 0.00

time (sec)

N/A 0.053 1.464 31.803 0.300 0.340 0.000 0.310 0.000

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 119 556 155 542 0 150 0

N.S.

1 1.00 0.83 3.89 1.08 3.79 0.00 1.05 0.00

time (sec)

N/A 0.061 1.021 246.762 0.282 0.362 0.000 0.336 0.000

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 74 174 0 129 0 0 0

N.S.

1 1.00 0.57 1.34 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.093 0.425 1396.795 0.000 0.107 0.000 0.000 0.000

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 64 155 0 114 0 0 0

N.S.

1 1.00 0.64 1.55 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.064 0.278 201.960 0.000 0.101 0.000 0.000 0.000

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 52 142 0 101 0 0 0

N.S.

1 1.00 0.74 2.03 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.043 0.242 15.908 0.000 0.090 0.000 0.000 0.000

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 51 144 0 101 0 0 0

N.S.

1 1.00 0.73 2.06 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.025 0.073 0.701 0.000 0.102 0.000 0.000 0.000

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 67 159 0 131 0 0 0

N.S.

1 1.00 0.68 1.62 0.00 1.34 0.00 0.00 0.00

time (sec)

N/A 0.065 0.332 7.194 0.000 0.103 0.000 0.000 0.000

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 79 204 0 193 0 0 0

N.S.

1 1.00 0.64 1.66 0.00 1.57 0.00 0.00 0.00

time (sec)

N/A 0.097 0.439 95.065 0.000 0.108 0.000 0.000 0.000

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 52 55 63 61 0 108 0

N.S.

1 1.00 0.60 0.63 0.72 0.70 0.00 1.24 0.00

time (sec)

N/A 0.038 0.347 0.252 0.203 0.318 0.000 0.303 0.000

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 42 45 50 51 0 85 0

N.S.

1 1.00 0.65 0.69 0.77 0.78 0.00 1.31 0.00

time (sec)

N/A 0.032 0.258 0.185 0.202 0.293 0.000 0.314 0.000

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 32 35 37 41 0 62 0

N.S.

1 1.00 0.74 0.81 0.86 0.95 0.00 1.44 0.00

time (sec)

N/A 0.030 0.215 0.168 0.214 0.303 0.000 0.303 0.000

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 23 28 0 33 28

N.S.

1 1.00 1.00 0.85 1.15 1.40 0.00 1.65 1.40

time (sec)

N/A 0.020 0.103 0.047 0.185 0.325 0.000 0.304 0.286

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 73 142 73 253 0 56 0

N.S.

1 1.00 1.24 2.41 1.24 4.29 0.00 0.95 0.00

time (sec)

N/A 0.028 0.183 0.183 0.292 0.370 0.000 0.298 0.000

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 93 281 105 361 0 104 0

N.S.

1 1.00 1.00 3.02 1.13 3.88 0.00 1.12 0.00

time (sec)

N/A 0.043 0.527 0.210 0.288 0.339 0.000 0.312 0.000

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 107 345 138 450 0 135 0

N.S.

1 1.00 0.87 2.80 1.12 3.66 0.00 1.10 0.00

time (sec)

N/A 0.053 0.627 0.218 0.313 0.344 0.000 0.306 0.000

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 73 483 0 117 0 0 0

N.S.

1 1.00 0.59 3.93 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.090 0.494 3.903 0.000 0.120 0.000 0.000 0.000

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 63 451 0 107 0 0 0

N.S.

1 1.00 0.66 4.75 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.066 0.390 1.533 0.000 0.097 0.000 0.000 0.000

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 60 417 0 94 0 0 0

N.S.

1 1.00 0.90 6.22 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.037 0.242 0.738 0.000 0.133 0.000 0.000 0.000

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 299 0 66 0 0 0

N.S.

1 1.00 1.00 7.87 0.00 1.74 0.00 0.00 0.00

time (sec)

N/A 0.014 0.042 0.421 0.000 0.098 0.000 0.000 0.000

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 48 253 0 109 0 0 0

N.S.

1 1.00 0.76 4.02 0.00 1.73 0.00 0.00 0.00

time (sec)

N/A 0.040 0.273 0.286 0.000 0.089 0.000 0.000 0.000

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 74 305 0 158 0 0 0

N.S.

1 1.00 0.78 3.21 0.00 1.66 0.00 0.00 0.00

time (sec)

N/A 0.062 0.271 0.465 0.000 0.095 0.000 0.000 0.000

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 86 333 0 199 0 0 0

N.S.

1 1.00 0.70 2.71 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 0.099 0.378 0.755 0.000 0.104 0.000 0.000 0.000

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 52 60 63 61 0 110 0

N.S.

1 1.00 0.60 0.69 0.72 0.70 0.00 1.26 0.00

time (sec)

N/A 0.044 0.528 0.220 0.194 0.319 0.000 0.336 0.000

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 42 50 50 51 0 87 0

N.S.

1 1.00 0.65 0.77 0.77 0.78 0.00 1.34 0.00

time (sec)

N/A 0.039 0.329 0.175 0.207 0.306 0.000 0.345 0.000

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 32 40 37 41 0 64 0

N.S.

1 1.00 0.74 0.93 0.86 0.95 0.00 1.49 0.00

time (sec)

N/A 0.034 0.268 0.175 0.212 0.325 0.000 0.321 0.000

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 23 28 0 35 28

N.S.

1 1.00 1.00 0.85 1.15 1.40 0.00 1.75 1.40

time (sec)

N/A 0.023 0.102 0.048 0.239 0.289 0.000 0.286 0.308

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 36 197 89 314 0 73 0

N.S.

1 1.00 0.46 2.53 1.14 4.03 0.00 0.94 0.00

time (sec)

N/A 0.035 0.313 0.185 0.344 0.433 0.000 0.289 0.000

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 98 281 106 364 0 93 0

N.S.

1 1.00 1.05 3.02 1.14 3.91 0.00 1.00 0.00

time (sec)

N/A 0.051 0.443 0.192 0.302 0.371 0.000 0.306 0.000

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 109 342 137 454 0 128 0

N.S.

1 1.00 0.89 2.78 1.11 3.69 0.00 1.04 0.00

time (sec)

N/A 0.061 0.578 0.195 0.293 0.352 0.000 0.302 0.000

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 81 176 0 109 0 0 0

N.S.

1 1.00 0.64 1.40 0.00 0.87 0.00 0.00 0.00

time (sec)

N/A 0.088 0.309 1.158 0.000 0.111 0.000 0.000 0.000

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 71 160 0 99 0 0 0

N.S.

1 1.00 0.72 1.63 0.00 1.01 0.00 0.00 0.00

time (sec)

N/A 0.059 0.225 0.648 0.000 0.104 0.000 0.000 0.000

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 59 144 0 87 0 0 0

N.S.

1 1.00 0.82 2.00 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.026 0.065 0.365 0.000 0.095 0.000 0.000 0.000

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 58 143 0 101 0 0 0

N.S.

1 1.00 0.85 2.10 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.044 0.263 0.323 0.000 0.098 0.000 0.000 0.000

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 62 181 0 148 0 0 0

N.S.

1 1.00 0.61 1.77 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 0.067 0.332 0.325 0.000 0.107 0.000 0.000 0.000

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 74 210 0 197 0 0 0

N.S.

1 1.00 0.56 1.59 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.095 0.512 0.517 0.000 0.106 0.000 0.000 0.000

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 62 60 63 61 0 110 0

N.S.

1 1.00 0.71 0.69 0.72 0.70 0.00 1.26 0.00

time (sec)

N/A 0.039 0.545 0.248 0.192 0.316 0.000 0.314 0.000

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 52 50 50 51 0 87 0

N.S.

1 1.00 0.80 0.77 0.77 0.78 0.00 1.34 0.00

time (sec)

N/A 0.035 0.335 0.183 0.179 0.324 0.000 0.318 0.000

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 42 40 37 41 0 64 0

N.S.

1 1.00 0.98 0.93 0.86 0.95 0.00 1.49 0.00

time (sec)

N/A 0.032 0.292 0.167 0.191 0.286 0.000 0.306 0.000

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 23 28 0 35 28

N.S.

1 1.00 1.00 0.85 1.15 1.40 0.00 1.75 1.40

time (sec)

N/A 0.022 0.126 0.045 0.179 0.291 0.000 0.304 0.311

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 90 318 90 319 0 81 0

N.S.

1 1.00 1.11 3.93 1.11 3.94 0.00 1.00 0.00

time (sec)

N/A 0.034 0.292 0.185 0.275 0.410 0.000 0.309 0.000

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 98 290 106 370 0 101 0

N.S.

1 1.00 1.05 3.12 1.14 3.98 0.00 1.09 0.00

time (sec)

N/A 0.045 0.679 0.192 0.270 0.358 0.000 0.299 0.000

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 110 348 136 458 0 131 0

N.S.

1 1.00 0.89 2.83 1.11 3.72 0.00 1.07 0.00

time (sec)

N/A 0.055 1.216 0.191 0.264 0.388 0.000 0.307 0.000

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 83 486 0 117 0 0 0

N.S.

1 1.00 0.66 3.86 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.084 0.569 2.641 0.000 0.129 0.000 0.000 0.000

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 66 454 0 107 0 0 0

N.S.

1 1.00 0.67 4.63 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.057 0.447 1.690 0.000 0.111 0.000 0.000 0.000

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 60 420 0 95 0 0 0

N.S.

1 1.00 0.83 5.83 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.026 0.082 0.842 0.000 0.110 0.000 0.000 0.000

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 51 268 0 109 0 0 0

N.S.

1 1.00 0.75 3.94 0.00 1.60 0.00 0.00 0.00

time (sec)

N/A 0.044 0.349 0.580 0.000 0.102 0.000 0.000 0.000

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 79 308 0 162 0 0 0

N.S.

1 1.00 0.77 3.02 0.00 1.59 0.00 0.00 0.00

time (sec)

N/A 0.074 0.357 0.456 0.000 0.110 0.000 0.000 0.000

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 87 336 0 203 0 0 0

N.S.

1 1.00 0.66 2.55 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.094 0.520 0.711 0.000 0.112 0.000 0.000 0.000

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

449 449 169 537 0 1145 0 0 0

N.S.

1 1.00 0.38 1.20 0.00 2.55 0.00 0.00 0.00

time (sec)

N/A 0.288 2.097 3.492 0.000 0.514 0.000 0.000 0.000

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

414 414 157 447 0 1129 0 0 0

N.S.

1 1.00 0.38 1.08 0.00 2.73 0.00 0.00 0.00

time (sec)

N/A 0.230 1.322 4.457 0.000 0.500 0.000 0.000 0.000

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

376 376 122 362 0 1041 0 0 0

N.S.

1 1.00 0.32 0.96 0.00 2.77 0.00 0.00 0.00

time (sec)

N/A 0.166 1.021 3.991 0.000 0.494 0.000 0.000 0.000

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 37 35 0 44 0 0 36

N.S.

1 1.00 1.12 1.06 0.00 1.33 0.00 0.00 1.09

time (sec)

N/A 0.032 0.401 0.655 0.000 0.287 0.000 0.000 0.607

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 52 53 0 73 0 0 83

N.S.

1 1.00 0.73 0.75 0.00 1.03 0.00 0.00 1.17

time (sec)

N/A 0.066 0.560 0.708 0.000 0.298 0.000 0.000 1.563

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 65 65 0 96 0 0 169

N.S.

1 1.00 0.61 0.61 0.00 0.91 0.00 0.00 1.59

time (sec)

N/A 0.099 0.766 0.768 0.000 0.326 0.000 0.000 5.746

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

128 128 90 1739 0 0 0 0 0

N.S.

1 1.00 0.70 13.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.140 15.837 7.714 0.000 0.000 0.000 0.000 0.000

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 66 211 0 0 0 0 0

N.S.

1 1.00 0.73 2.32 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.145 11.002 1.882 0.000 0.000 0.000 0.000 0.000

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 66 113 0 59 0 0 0

N.S.

1 1.00 1.25 2.13 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 0.109 0.548 0.866 0.000 0.100 0.000 0.000 0.000

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 75 207 0 125 0 0 0

N.S.

1 1.00 0.79 2.18 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.185 0.704 0.843 0.000 0.124 0.000 0.000 0.000

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 111 229 0 173 0 0 0

N.S.

1 1.00 0.85 1.76 0.00 1.33 0.00 0.00 0.00

time (sec)

N/A 0.246 1.296 0.934 0.000 0.120 0.000 0.000 0.000

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 86 398 0 0 0 0 0

N.S.

1 1.00 0.75 3.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.189 10.671 0.984 0.000 0.000 0.000 0.000 0.000

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 74 385 0 0 0 0 0

N.S.

1 1.00 0.87 4.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.087 0.394 0.935 0.000 0.000 0.000 0.000 0.000

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 60 371 0 0 0 0 0

N.S.

1 1.00 1.18 7.27 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.055 1.148 0.836 0.000 0.000 0.000 0.000 0.000

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 63 356 0 171 0 0 0

N.S.

1 1.00 0.78 4.40 0.00 2.11 0.00 0.00 0.00

time (sec)

N/A 0.087 0.381 0.761 0.000 0.117 0.000 0.000 0.000

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 82 441 0 239 0 0 0

N.S.

1 1.00 0.71 3.83 0.00 2.08 0.00 0.00 0.00

time (sec)

N/A 0.115 0.539 0.888 0.000 0.133 0.000 0.000 0.000

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

363 363 145 704 0 895 0 0 0

N.S.

1 1.00 0.40 1.94 0.00 2.47 0.00 0.00 0.00

time (sec)

N/A 0.178 1.332 1.359 0.000 0.419 0.000 0.000 0.000

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

328 328 113 351 0 843 0 0 0

N.S.

1 1.00 0.34 1.07 0.00 2.57 0.00 0.00 0.00

time (sec)

N/A 0.135 0.808 4.809 0.000 0.432 0.000 0.000 0.000

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 30 0 48 0 0 57

N.S.

1 1.00 1.00 1.00 0.00 1.60 0.00 0.00 1.90

time (sec)

N/A 0.034 0.242 0.587 0.000 0.302 0.000 0.000 0.976

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 42 43 0 72 0 0 103

N.S.

1 1.00 0.69 0.70 0.00 1.18 0.00 0.00 1.69

time (sec)

N/A 0.053 0.326 0.631 0.000 0.312 0.000 0.000 2.415

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 52 53 0 95 0 0 163

N.S.

1 1.00 0.57 0.58 0.00 1.04 0.00 0.00 1.79

time (sec)

N/A 0.081 0.496 0.707 0.000 0.349 0.000 0.000 6.075

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 62 63 0 116 0 0 192

N.S.

1 1.00 0.51 0.52 0.00 0.96 0.00 0.00 1.59

time (sec)

N/A 0.105 0.705 0.802 0.000 0.380 0.000 0.000 6.147

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

490 490 176 624 0 1201 0 0 0

N.S.

1 1.00 0.36 1.27 0.00 2.45 0.00 0.00 0.00

time (sec)

N/A 0.339 1.850 5.786 0.000 0.591 0.000 0.000 0.000

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

453 453 165 534 0 1188 0 0 0

N.S.

1 1.00 0.36 1.18 0.00 2.62 0.00 0.00 0.00

time (sec)

N/A 0.289 1.389 5.013 0.000 0.568 0.000 0.000 0.000

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

418 418 151 439 0 1127 0 0 0

N.S.

1 1.00 0.36 1.05 0.00 2.70 0.00 0.00 0.00

time (sec)

N/A 0.226 1.135 4.751 0.000 0.525 0.000 0.000 0.000

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 411 144 455 0 1224 0 0 0

N.S.

1 1.00 0.35 1.11 0.00 2.98 0.00 0.00 0.00

time (sec)

N/A 0.244 1.249 4.513 0.000 0.508 0.000 0.000 0.000

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 45 40 0 68 0 0 84

N.S.

1 1.00 1.29 1.14 0.00 1.94 0.00 0.00 2.40

time (sec)

N/A 0.040 0.555 0.566 0.000 0.315 0.000 0.000 1.641

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 103 243 0 0 0 0 0

N.S.

1 1.00 0.60 1.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.182 1.043 2.283 0.000 0.000 0.000 0.000 0.000

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

135 135 87 1746 0 0 0 0 0

N.S.

1 1.00 0.64 12.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.144 0.481 1.967 0.000 0.000 0.000 0.000 0.000

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 84 205 0 0 0 0 0

N.S.

1 1.00 0.89 2.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.096 0.663 1.741 0.000 0.000 0.000 0.000 0.000

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 78 208 0 131 0 0 0

N.S.

1 1.00 0.78 2.08 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.103 0.665 0.751 0.000 0.114 0.000 0.000 0.000

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 119 231 0 178 0 0 0

N.S.

1 1.00 0.87 1.69 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.138 1.158 0.819 0.000 0.117 0.000 0.000 0.000

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 131 253 0 230 0 0 0

N.S.

1 1.00 0.75 1.45 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.182 1.523 0.914 0.000 0.111 0.000 0.000 0.000

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

75 75 96 0 0 0 0 0 0

N.S.

1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.075 5.941 0.000 0.000 0.000 0.000 0.000 0.000

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

75 75 96 0 0 0 0 0 0

N.S.

1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.073 5.680 0.000 0.000 0.000 0.000 0.000 0.000

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

77 77 106 0 0 0 0 0 0

N.S.

1 1.00 1.38 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.061 5.460 0.000 0.000 0.000 0.000 0.000 0.000

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

77 77 89 0 0 0 0 0 0

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.063 18.322 0.000 0.000 0.000 0.000 0.000 0.000

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

77 77 116 0 0 0 0 0 0

N.S.

1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.070 7.159 0.000 0.000 0.000 0.000 0.000 0.000

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

86 86 285 0 0 0 0 0 0

N.S.

1 1.00 3.31 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.052 1.171 0.000 0.000 0.000 0.000 0.000 0.000

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

89 89 287 0 0 0 0 0 0

N.S.

1 1.00 3.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.058 0.350 0.000 0.000 0.000 0.000 0.000 0.000

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

89 89 287 0 0 0 0 0 0

N.S.

1 1.00 3.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.057 0.411 0.000 0.000 0.000 0.000 0.000 0.000

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

92 92 289 0 0 0 0 0 0

N.S.

1 1.00 3.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.060 0.433 0.000 0.000 0.000 0.000 0.000 0.000

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 80 89 85 85 0 0 134

N.S.

1 1.00 1.00 1.11 1.06 1.06 0.00 0.00 1.68

time (sec)

N/A 0.048 0.611 2.259 0.191 0.298 0.000 0.000 1.396

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 47 54 59 53 0 0 67

N.S.

1 1.00 0.90 1.04 1.13 1.02 0.00 0.00 1.29

time (sec)

N/A 0.035 0.267 0.925 0.205 0.303 0.000 0.000 0.714

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 22 28 28 28 0 0 27

N.S.

1 1.00 0.88 1.12 1.12 1.12 0.00 0.00 1.08

time (sec)

N/A 0.021 0.068 0.693 0.190 0.302 0.000 0.000 0.208

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 49 50 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.021 0.285 0.000 0.000 0.000 0.000 0.000 0.000

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

48 48 201 0 0 0 0 0 0

N.S.

1 1.00 4.19 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.031 2.281 0.000 0.000 0.000 0.000 0.000 0.000

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 63 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.052 0.459 0.000 0.000 0.000 0.000 0.000 0.000

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 63 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.054 0.300 0.000 0.000 0.000 0.000 0.000 0.000

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 63 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.051 0.254 0.000 0.000 0.000 0.000 0.000 0.000

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 61 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.022 0.032 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]